Mechanical theorem proving
[计] 机器证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
He's asleep.
他睡着了。
We have a toll-free number for customers to call.
我们对顾客提供免费服务电话。
The turtle at last gives up by pulling his feet under his shell and the game is over.
海龟终于屈服了，将4条腿缩进壳内。